Перевод: со всех языков на все языки

со всех языков на все языки

вспомогательное доказательство

См. также в других словарях:

  • Граница Плоткина — Граница Плоткина  в теории кодирования определяет предел мощности двоичного кодa длины и минимального расстояния . Содержание 1 Формулировка …   Википедия

  • дедукции теорема —         ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… …   Энциклопедия эпистемологии и философии науки

  • система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… …   Словарь-справочник терминов нормативно-технической документации

  • Суффиксное дерево — Суффиксное дерево  бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры …   Википедия

  • Дерево суффиксов — Суффиксное дерево  способ организации данных (строк), позволяющий выяснять, входит ли строка w в строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры 2 Свойства суффиксных д …   Википедия

  • лемма — ы; ж. [греч. lēmma] Матем. Теорема, необходимая только для доказательства другой или нескольких других теорем. Доказательство леммы. * * * лемма (греч. lēmma), вспомогательное предложение, употребляемое при доказательстве одной или нескольких… …   Энциклопедический словарь

  • Астрономия — (от греческих слов άστρον, светило, и νόμος, закон) наука о небесных светилах. В обширном значении этого слова А. включает в себе исследование всего того, что можно знать о небесных светилах: солнце, луне, планетах, кометах, падающих звездах,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Монж, Гаспар — Gaspard Monge …   Википедия

  • ГИПОТЕЗА — (от греч. предположение) 1) подсистема теоретического знания; 2) форма развития знания (научного, философского, практического и т. д.). Г. это суждение, истинностное значение которого является неопределенным. Т. широко используются в любой сфере… …   Современный философский словарь

  • обеспечение — Процесс скоординированного управления по обеспечению всех материалов и ресурсов, требуемых для эксплуатации изделия. Источник: ГОСТ Р 53480 2009: Надежность в технике. Термины и определения оригинал документа …   Словарь-справочник терминов нормативно-технической документации

  • Иоанн IV Васильевич — царь и великий князь всея Руси, прозванный Грозным, обыкновенно называется IV в ряду великих князей этого имени; как царь, иногда называется I. И. был сыном вел. кн. Василия Иоанновича от второй его супруги, Елены Васильевны Глинской; род. в 1530 …   Большая биографическая энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»